turing machine in toc